x  dom(f) == deq-member(eq;x;1of(f)) 

latex

---

clarification:

fpf-dom(eq; x; f) == deq-member(eq;x;1of(f)) 

latex

Definitions	deq-member(eq;x;L), 1of(t)
FDL editor aliases	fpf-dom